『A Tutorial on (Co)algebras and (Co)induction』

Bart Yacobs, Jan Rutten. A Tutorial on (Co)algebras and (Co)induction. 1987.

table:単語

homomorphism 準同型写像

subalgebra 部分代数系

congruence 合同

concise 簡潔

desiable 望ましい

ordinary induction 通常の数学的帰納法

induction 帰納法

1. Introduction

2. Algebraic and coalgebraic phenomena

3. Inductive and coinductive definitions

4. Functionality of products, coproducts and powersets

5. Algebras and induction